
(check (and (< -3.14f32 3)
            (> 3.14f32 3)))
